A categorical outlook on relational modalities and simulations
نویسنده
چکیده
We characterise bicategories of spans, relations and partial maps universally in terms of factorisations involving maps. We apply this characterisation to show that the standard modalities 2 and arise canonically as extensions of a predicate logic from functions to (abstract) relations. When relations and partial maps are representable, we exhibit logical predicates for the power-object and partial-map-classifier monads. We also show that the 2 modality gives the relevant pullbacks of subobjects in the internal logic of categories of partial maps. Organizing modal formulae fibrationally, we exhibit an intrinsic relationship between their satisfaction relative to transition systems and the notion of simulation. In this setting, we use the biclosed nature of the bicategory of relations to give a new proof of the standard fact that observational similarity implies similarity .
منابع مشابه
Simultaneous Topological Categorical Data Clustering and Cluster Characterization
In this paper we propose a new automatic learning model which allows the simultaneously topological clustering and feature selection for quantitative datasets. We explore a new topological organization algorithm for categorical data clustering and visualization named RTC (Relational Topological Clustering). Generally, it is more difficult to perform clustering on categorical data than on numeri...
متن کاملDevelopmental differences in explicit and implicit conceptual memory tests: a processing view account.
The present study addressed contradictory results in childhood literature about conceptual priming. Based on the processing view, two forms of conceptual priming were investigated across two experiments in children aged from 7 to 16: associative priming (using the free-association test) and relational (categorical) priming (using the categorical exemplar generation test) as well as their explic...
متن کاملKnowledge Representation in Bicategories of Relations
We introduce the relational ontology log, or relational olog, a knowledge representation system based on the category of sets and relations. It is inspired by Spivak and Kent’s olog, a recent categorical framework for knowledge representation. Relational ologs interpolate between ologs and description logic, the dominant formalism for knowledge representation today. In this paper, we investigat...
متن کاملAttachment insecurity and perceived importance of relational features
Chronic attachment insecurity can affect the outlook people have on relationships. This research examines how attachment insecurity relates to perceived importance of various features in a romantic relationship (e.g., intimacy, independence). Consistent with predictions, the results from Studies 1–3 (N1 1⁄4 53, N2 1⁄4 226, N3 1⁄4 196) revealed that greater attachment anxiety was associated with...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Inf. Comput.
دوره 209 شماره
صفحات -
تاریخ انتشار 2011